-
Software tools, Theorem-proving, Formal verification
Aaron Turner  Man-Made Minions  program verifier  proof of correctness  theorem-prover  theorem-proving  verification challenge  verification grand challenge  verifying compiler  VV&T 
www.manmademinions.com - 2009-02-12
-
Ukrainian engineering and software development company. Partners to Motorola, Freescale, Microsoft. Software development; tools for software verification; ...
iss.org.ua - 2009-04-08
-
JON D. HAGAR - An industry recognized leader in software testing, reliability, verification, and validation.
embedded systems tests  embedded system tests  papers on software testing  software test classes  software validation classes  software verification classes  swtesting.com  test classes  validation classes  verification classes 
www.swtesting.com - 2009-02-04
|
quality assurance
software
network security
project management
consulting
thin-client
radius3
computer security
internet security
inspection
application
software verification
testing
hazard analysis
test
laboratory
quality
computer
|
|